Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
201	Type Dispatch for Named Hierarchical Types ∗ Neal Glew Department of Computer Science Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-06-23 09:53:29 Tagged union Computing Type safety Programming language semantics Functional languages Type theory Programming language theory Software engineering
202	Principals in Programming Languages: Technical Results Steve Zdancewic Dan Grossman Cornell University ∗ Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-06-23 12:51:02 Symbol Programming language semantics
203	Experiments in validating formal semantics for C Sandrine Blazy ENSIIE and INRIA Rocquencourt [removed] Abstract. This paper reports on the design of adequate on-machine Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2008-06-30 05:17:26 Logic in computer science Formal methods Compiler construction Programming language semantics Formal verification Xavier Leroy Coq Operational semantics Compcert Software engineering Theoretical computer science Computing
204	Coinductive big-step operational semantics Xavier Leroy INRIA Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-01-03 04:15:57 Logic in computer science Mathematical induction Programming language semantics Category theory Coinduction Operational semantics Structural induction Theorem Lambda calculus Mathematics Logic Theoretical computer science
205	Tobias Nipkow Gerwin Klein C Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2015-04-08 16:10:15 Logic in computer science Programming language semantics Formal sciences Formal languages Formal methods Denotational semantics Semantics of programming languages Isabelle Mathematical proof Theoretical computer science Mathematics Logic
206	Klasse Objecten Unification of Static and Dynamic Semantics of UML A Study in redefining the Semantics of the UML using the pUML OO Meta Modelling Approach Anneke Kleppe and Jos Warmer Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2003-02-04 09:56:26 Computing ISO standards UML diagrams Knowledge representation Profile State diagram Class Object-oriented programming ECO Software engineering Unified Modeling Language Diagrams
207	The JCilk Multithreaded Language by I-Ting Angelina Lee Submitted to the Department of Electrical Engineering and Computer Science Add to Reading List Source URL: www.cse.wustl.edu Language: English - Date: 2014-08-27 02:16:24 Java platform Programming language Thread Charles E. Leiserson C Java Semantics Intel Cilk Plus Computing Cross-platform software Cilk
208	Formal Verification of a C Compiler Front-end Sandrine Blazy, Zaynah Dargaye, and Xavier Leroy INRIA Rocquencourt[removed]Le Chesnay, France {Sandrine.Blazy, Zaynah.Dargaye, Xavier.Leroy}@inria.fr Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-05-16 04:47:55 Procedural programming languages Data types C++ Logic in computer science Programming language semantics Pointer C ALGOL 68 Monad Software engineering Computing Programming language theory
209	A Taste of Python • What it’s good for (and what it’s not). • Flavor of language using examples. • Comparisons with other languages Add to Reading List Source URL: pyraf.stsci.edu Language: English - Date: 2001-12-10 16:33:20 Scripting languages Functional programming Object-oriented programming Python Immutable object D Python syntax and semantics Software engineering Computer programming Computing
210	Implicit Self-Adjusting Computation for Purely Functional Programs Yan Chen Joshua Dunfield Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-09-08 07:50:56 Logic in computer science Lambda calculus Programming language semantics Symbol Papyrus 1 Immunoglobulin heavy chain

UPDATE